Finitely presented monoids with linear Dehn function need not have regular cross-sections
نویسندگان
چکیده
منابع مشابه
Finitely presented monoids with linear Dehn function need not have regular cross-sections
This paper shows that a finitely presented monoid with linear Dehn function need not have a regular cross-section, strengthening the previously-known result that such a monoid need not be presented by a finite complete string rewriting system, and contrasting the fact that finitely presented groups with linear Dehn function always have regular cross-sections.
متن کاملOn Dehn Functions of Finitely Presented Bi-Automatic Monoids
For each automatic monoid the word problem can be solved in quadratic time (Campbell et al 1996), and hence, the Dehn function of a nitely presented automatic monoid is recursive. Here we show that this result on the Dehn function cannot be improved in general by presenting nitely presented bi-automatic monoids the Dehn functions of which realize arbitrary complexity classes that are suuciently...
متن کاملThe Finiteness of Finitely Presented Monoids
Introduction. It is undecidable whether a monoid given by a nite presentation is nite (see, e.g., [1], pp. 157{160). On the other hand, with the mere knowledge that the monoid is nite, one can e ectively construct the multiplication table of the monoid, and thus obtain a complete understanding of its structure. This paper will present this construction method in detail (Section 2) and o er some...
متن کاملDehn Twists Have Linear Growth
In this note we give a simple proof that Dehn twists have linear growth with respect to the word metric on the mapping class group of an oriented surface of nite type (Theorem 1). This answers a question of Ivanov in 3]. A proof in the case of punctured surfaces was given by Mosher 6] using his techniques for constructing an automatic structure on the mapping class group. This result implies in...
متن کاملOn Homotopical and Homological Finiteness Conditions for Finitely Presented Monoids
An example of a nitely presented monoid is given that does not satisfy the homo-topical niteness condition FHT, although it satisses both the homological niteness conditions left FP 1 and right FP 1 .tions left FP 1 and right FP 1 .
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semigroup Forum
سال: 2013
ISSN: 0037-1912,1432-2137
DOI: 10.1007/s00233-013-9531-6